Comment
authorGlenn Morris <rgm@gnu.org>
Wed, 28 Mar 2012 08:02:53 +0000 (01:02 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 28 Mar 2012 08:02:53 +0000 (01:02 -0700)
commit6ed29ea061c2008635f9097ed6799c9c77010d6b
treedf5c537a589cbb1cc791d39b1a8e9dca6bbe1a67
parent76ed832432650ca8dc29bc4a22fe37792959bd84
Comment
doc/lispref/searching.texi